properties of binary relation